A Formal Analysis Method for Cognitive Agent Behavior
نویسندگان
چکیده
This paper contributes a formal method to analyze consequences of agent behavior. The method is based on an automated procedure to translate a given external behavioral specification of an agent into an executable specification of internal dynamics. Having an executable internal dynamics specification allows automated analysis of the consequences of the agent's behavior, based on model checking techniques. By a paradigmatic example it is shown how the developed analysis method is applied.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملFormal Assurance for Cognitive Architecture Based Autonomous Agent
Autonomous systems are designed and deployed in different modeling paradigms. These environments focus on specific concepts in designing the system. We focus our effort in the use of cognitive architectures to design autonomous agents to collaborate with humans to accomplish tasks in a mission. Our research focuses on introducing formal assurance methods to verify the behavior of agents designe...
متن کاملAnalysis of users’ query reformulation behavior in Web with regard to Wholis-tic/analytic cognitive styles, Web experience, and search task type
Background and Aim: The basic aim of the present study is to investigate users’ query reformulation behavior with regard to wholistic-analytic cognitive styles, search task type, and experience variables in using the Web. Method: This study is an applied research using survey method. A total of 321 search queries were submitted by 44 users. Data collection tools were Riding’s Cognitive Style A...
متن کاملThe Effect of Cognitive-Behavioral Therapy-Based Social Work Intervention on the burden of formal caregivers among Alborz city nursing home
Objectives: As the elderly population increases and their ability decreases, the need for nursing homes and formal caregivers becomes more significant. Caregivers are under the pressure and burden of care due to the provision of services. Therefore, the current study aimed to investigate the effect of cognitive-behavioral therapy-based social work intervention on the extent of care burden among...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006